English translation for "the undecidability of first-order logic"

一阶逻辑的不可判定性

Related Translations:

undecidability:  n.【逻辑学】【数学】不可决定性〔指以某系统的公理既不能证明某命题的成立，又不能证明其不成立的情况〕。

undecidability theorem:  不可判定性定理

essential undecidability:  本质不可判定性

logic:  n.1.逻辑，理论学。2.推理[方法]；逻辑性，条理性。3. 威力，压力，强制(力)。 短语和例子deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure

logics:  逻辑学

Similar Words：

"the uncivilized" English translation, "the uncollected poems" English translation, "the uncool" English translation, "the undaunted wudang" English translation, "the undead" English translation, "the underbog" English translation, "the undercity" English translation, "the underclassman" English translation, "the undercroft" English translation, "the underdog" English translation